changes to the configs to get correct build on github