Fix missing bash prompt alias