Workaround to make make/cargo play together.
Fix a type error in tests.