switch to Thor (which is a bit slow :-()