Bugfix: The command tempfile was Ubuntu specific