Delete higgsminer.py~