Revert "copiled"

This reverts commit d8551215e84e9cc583394b8a641c538ac9daa4fa.
Revert "had to rm to push"

This reverts commit ebd9de8fd3d1c743da55d2e1b70e6089932d5e38.