Fix build error

The last commit changes the include-syntax, so the build fails again.