rename platform so that it will pick up the 32-bit box when generating the default box_url