[Bug 1231289] libbullet may be built both with double precision and without