fix on ubuntu 18.04
i compiled on Ubuntu 18.04 and all binaries cause a segfault:
rgrimm@i61pc049:~/repos/simox/build$ ls -1 bin/ | grep -v tests|xargs -I% bash -c "./bin/% || true"
bash: line 1: 17424 Segmentation fault (core dumped) ./bin/BulletDebugViewer
bash: line 1: 17427 Segmentation fault (core dumped) ./bin/CameraViewer
bash: line 1: 17430 Segmentation fault (core dumped) ./bin/ConstrainedIKDemo
bash: line 1: 17433 Segmentation fault (core dumped) ./bin/GenericIKDemo
bash: line 1: 17436 Segmentation fault (core dumped) ./bin/GraspEditor
bash: line 1: 17439 Segmentation fault (core dumped) ./bin/GraspPlanner
bash: line 1: 17442 Segmentation fault (core dumped) ./bin/GraspQuality
bash: line 1: 17445 Segmentation fault (core dumped) ./bin/GraspRrtDemo
bash: line 1: 17448 Segmentation fault (core dumped) ./bin/IKRRT
bash: line 1: 17451 Segmentation fault (core dumped) ./bin/JacobiDemo
bash: line 1: 17454 Segmentation fault (core dumped) ./bin/loadRobot
bash: line 1: 17457 Segmentation fault (core dumped) ./bin/MultiThreadedPlanning
bash: line 1: 17460 Segmentation fault (core dumped) ./bin/PlatformDemo
bash: line 1: 17463 Segmentation fault (core dumped) ./bin/ReachabilityDemo
bash: line 1: 17466 Segmentation fault (core dumped) ./bin/ReachabilityMapDemo
bash: line 1: 17469 Segmentation fault (core dumped) ./bin/RobotViewer
bash: line 1: 17472 Segmentation fault (core dumped) ./bin/RRTdemo
bash: line 1: 17475 Segmentation fault (core dumped) ./bin/RrtGui
bash: line 1: 17478 Segmentation fault (core dumped) ./bin/SimDynamicsViewer
bash: line 1: 17481 Segmentation fault (core dumped) ./bin/SimoxSceneViewer
bash: line 1: 17484 Segmentation fault (core dumped) ./bin/StabilityDemo