.bashrc's common part is extracted; .bash_prompt is patched