add mcrl2 libraries to rpath option for the linker.