Fixed library name conflict for carmen-robox binary