abort does not need to specify stderr