Added -DNDEBUG to LINUX_OPTIONS