Fix the build

Fixes #995