Fix bug #529 : TYPE= is now deprecated for a long time