On the official patche site, there's now a 1.51b linux patch. This contains the same two files that were released as the linux update dated 22/12/04. So that date is effectively still of the last dated linux patch files.