scripts/size: shebang now for all shells, not bash-only