Successful build to make/make check; no mainfludag yet