getting rid of the weird tilde files, maybe...