Compatibility with custom-unlispify-remove-prefixes