Ignore the proper binary created by the Unix makefile in .gitignore