Updated download.php with the changes in compiler.php