Tuffy port: clean up dummy files