Skip it; I've just discovered the port p5-tk (too much blood in my caffeine system). Sorry for the noise... (In my defence, the comments were mostly on StackOverflow, who have no idea what they're talking about the best of times.) -- Dave