only install PHP if it doesn't already exist