What made the difference is that you did locate and run the raid tool before (or after) switching to the fixed version. When I did run it an additional file was created in the directory containing the raid tool and the menu appeared. After a reboot I do not have to run the raid manager again for the menu to appear. It appears that somehow the mentioned file required for the menu to appear and that it is not created when installing the fixed version over the faulty one. But running the raid manager once does create it and therefor also fixes the no-menu problem.
Thanks for your help.
