Fix a type in installation of xhp