Remove directory from shell prompts

This is too tedious to keep up to date manually.