Include thunks in CI build
So that PRs like #1812 don't get merged by accident