Protect against double monkey-patching