Explicitly mark perms.sh-dist as a bash script.