Changes for github in dist.ini