made some executables use .exe extension, so that they are more easily git ignored