Delete mineos.py