The distribution zip contains the phpBB mixed-case filename.
I've seen a small handful of cases where someone's FTP software apparently renamed everything to lowercase during upload, thus causing the reported problem.