remove spurious files from src/