Update the integration repo (fixes #842)

Tested locally, ready to merge.