2621949f6f
and proceed rather than quitting with a fatal error message. PR: bin/16056 Submitted by: Philipp Mergenthaler <un1i@rz.uni-karlsruhe.de>