Rename profile_rt.so to libprofile_rt.so under configure+make (it already was