Remove files that disappeared in commits
ff1d81af421bf1b471fd8475df5ba155419ff552 and
969489538fcfdf3d66732ceeb841409789a6accd