Replace TmpFile with mikehaertl/php-tmpfile