pushing the version, fixing an include bug