Why is the `export` needed here? Setting PS1 and PS2 seems to work for me without exporting them.