gazebo: use double precision for bullet