Fix the build. Better feedback infrastructure, fix issue #3.