Github migration

Minor changes according to migration from Sourceforge's mergucrial repo to github.