make Foundations2 and RezkCompletion by default