trap_jaw will probably be looking at the linux situation in the next few days.

Thanks for pointing out a problem.