Delete libmagis.py