Delete GAtools.py~