1377 all provers

fixes #1377 and #1378
The actual binary is "satallax" with two "l" and small "s".