fix standalone build

[spoonincode]

Standalone build currently does not build. There is at least a problem with hello_driver.cpp, and something with spec tests & cmake seems broken too.