Thread:Extension talk:Scribunto/LuaSandbox under HHVM

I switched to HHVM from php5-fpm then rebuilt luasandbox from scratch:

cd extensions git clone https://gerrit.wikimedia.org/r/p/mediawiki/php/luasandbox.git cd luasandbox phpize ./configure make sudo make install

Then I added  to   and restarted HHVM service.

Yet I get Wikimedia exception: "The luasandbox extension is not present, this engine cannot be used".

Looks like HHVM doesn't know about LuaSandbox.

How should it be properly registered under HHVM?