Ensure Reading a .inputrc file doesn't break phpsh