switch to dl.hhvm.com hosting