sl/check-property.sh --propertyfile: now a mandatory option