Fixing superbuild