swipl.sh: chmod +x