Oops, forgot to add core.py back
Encoding line for setup.py