Use abort instead of stderr + exit.

Abort writes to stderr and exits afterwards; thus, abort is a suitable
substitute for the two combinations that were previously there.