Clean up the top level of src/