AS-80 configure.sh: executable extension for mingw