We do not care at all about inputrc anymore.