Rather than specifying "/tmp" we should probably use `System.getProperty("java.io.tmpdir")`.