Correct path to PHP lib