Upgrade from wavelab 5 to wavelab 8.5