make exec_permission(dir) really equivalent to inode_permission(dir, MAY_EXEC)