Disable optimization as it segfaults on linux