Fixed unforseen bug from previous Box2D auto fetching on Linux