Rename core.py-dist to core.py