Also output specific PHP binary.