Build of hhvm on Docker (with mongofill-hhvm extension)