> This? That does the trick, yes. > (please tell me if you want me to send this to Linus) I've put it in my tree now ... so I'll ask Linus to pull it from there. -Tony