stream: replace print/vprint() convenience functions by a FILE* getter