Fix github config to work in IE