Fix discosrv build, build as part of all (fixes #257)