Is miner version 0.4 (32 bit) still available for download?  Anyone has it?

The miner hardcode the hostname, but I am blocked by firewall and has to use a tunnel and cannot edit the host file.