* fixing a segfault on higher optimization levels on linux