remove a bugged hack for Warp
+ try to set seed after abort