Add a few missing files to the release