Forgot to remove some files in commit 1bf35e5574e892d44c2a1a9c22e8a7302244f1ce