INST: now write bin&lib path in .bashrc