patched phpsh (fixed inputrc bug)