with different flags from dosboot and biosboot. Although right now this does not make a difference because we are building the libraries twice, it can make a difference when we share the builds.