add some incomplete files necessary for github build