Disable RTTI in Linux