* scroll.c (do_scrolling): Work around GCC bug 48228.