Delete topolib.py~