As in the parent commit, this makes the name consistent with the rest of the source tree and the actuall installation path.