some minor fixes, executable names and .gitignore