dev-php/hhvm-3.4.0: fix printf mistaking output as options