fix superbuild