Tell bash_profile to source other bash files.
Minor update to inputrc.