* Override MAKEFLAGS via make not via shell variables * Remove build_examples in gitlab-ci * Don't use mktemp for any logs