Don't use stdout for debugging