Files.createTempFile, and minor fixes