Add a dep on PHP