trying to not overwrite stdio if that is really the problem...