Adapted to libfizmo-0.7.7.