use our $final in out-*.pl, easier to read