init.sh: automatically accommodate programs with the .exe suffix