Update bash prompt (Yet again)

Caused some problems under linux. Now fixed.