disabling build on clingo stuff until it gets ported over to hydro-devel in navigation