Fix SliceTestCase: test also that version 4 fails with ValueError.
Source files for binary executables (as opposed to shared modules)