Tue, 28 Aug 2012 18:33:40 +0200
Improve wording of warnings when building the optional profiled bootstrap.