mv src/4trema/* .