removed duplicate files that are now in src/