tweaks to downloadFile.php