Issue with temporary blast files when $TMPDIR has backslash in it

[tseemann]

Due to university ActiveDirectory, students have usernames $USER like STUDENT\janedoe.

Some systems set TMPDIR=/tmp/$USER.

The system libraries you are using for temporary BLAST files use this variable.

But it needs to be treated literally, or the backslash escaped, otherwise it will become STUDENTanedoe and other inconsistencies will occur.