Hotfix hhvm

Use hhvm-nightly and remove mango.so extension. It's now hhvm compatible :)