get mining.py working