bash: use default PS2