Fix test/ folder: tests of C code run fine now