s4-upgradeprovision: try to fix the detection of @provision record