Fix #8034. Sextante SIP update