got rid of //src// in the src tree