Hopefully fix the problems with nginx and hhvm.