fix new name on where to find XDE-ISIRController library