Was this intentional? I only downloaded the diff from 971215, so don't know if this is the case with the full distribution or not. Mumit