some small github changes, to allow structure change in repo