Issue #39: mouse wheel on Linux