X and Fluxbox :: Getting generic PS2 mouse to scroll