--segv-nospin is now default.