Revert "Quick hack to remove known-failing duplicate file." This reverts commit b9c55c7ae824cdd8c0baad9b604332459349aa65.