Allow POSIX.1-2008
Switch to SIGLARM, to allow seamless gdb usage
Change optimization level