exit_err() now also prints the internal error code.