This is changed to accept the Interfaces (or an empty set if no Prelude is needed) instead of the noPrelude flag.