remove old copy of builtins.py