(maint) Make facts.bat executable for Cygwin