phpsh etc file should require phpsh

Change-Id: I56849f7c5678249f13be42b82bc613f40ef1a791