Old bash prompt IS NOW tramp-compatible (was stupidly overwriting $TERM)