NDEBUG flag missing in production settings