fixing potential name conflicts of builtins