dist.ini changes from cygwin environment need to be discarded
dist.ini changes from cygwin environment need to be discarded