github does not know how to include source files