use stdout rather than stderr for info messages