Fixing ninja.h