install the correct php man