Use abort() explicitly (fixes #1)