Got rid of obsolete files in /src