Delete running-tools.hs