added php-x64 to downloadFiles array