After playing around with screen savers and screen lockers for a while, I discovered that xscreensaver works perfectly well from ion (both for screen saving and for locking by calling "xscreensaver-command -lock". So whatever causes xlock to behave strangely is now completely irrelevant ;-)
Mike
