Fix headers of src/mp/splines