Update to a newer srcomp