Fix mktemp on Linux

Fixes #3