Fix Git.remove_ignored_files in release.py
Fix set_file_version