Patch up jquerymenu to fix schema mismatch with the platform.