fix package name to something acceptable by github.