fixes for github migration