Travis runs an old Ubuntu version that doesn't have libbullet-dev