Fix handling of DISABLE_NAMESPACE_LOCK

DISABLE_NAMESPACE_LOCK was being read as an int, which makes no sense
when it's actually a char*. If you read a pointer address as a boolean
int, you're gonna have a bad time.