[PATCH] Fix PS1 prompt for shell