Update build scripts et al. for github