Deleting some temp files (fixes #17)