..and I seem to recall that it was a Linux bug anyway :-)

Rob