mines.py:usr/games/mines.pyc