Hack to make RCCpp work on Linux.

We need to change the name of the library every time we call dlopen
because otherwise even after closing it dlopen returns the same handler.