deb version in extra file to filter it out via .gitignore