IndustrialTango theme

Hello everybody,

I was just informed about the following breakage of IndustrialTango (one
of the themes that was shipped with ubuntu-artwork for Dapper) - I hope
somebody of you can fix it and tell me how to make it work again.

/usr/share/themes/IndustrialTango/gtk-2.0/gtkrc:29: error: invalid 
identifier `xthickness', expected valid identifier

(The reporter stated that "and if i comment that line it bitches about
the next line, etc")


Thanks for your time, have a nice day,
 Daniel