Get rid of obsolete addProfileRT(), generalize the relevant addProfileRTLinux() to all OS