Fix hhvm-dev paths

Change-Id: Icb264b7f7c8808f7a69e9905d1c0e56bc3faf254
Signed-off-by: Giuseppe Lavagetto <glavagetto@wikimedia.org>