use short link for permissions.rkt