Use https://github.com/githwxi/ATS-Postiats-contrib.git on Cygwin CI