Fix github autobuild