After numerous efforts I succeeded to update the profiler and the RM. Still it's not an easy process... OK for me, that is... The video of Tone Junkie helped me after this to get the new reverbs. As shown in that video you don't see the new reverbs after updating the profiler to 5.7. But I got there finally.
Thank you all for all your contributions. It sure was worthwhile because those new reverbs sound awesome. And that's what is was all about...!