Merge "dev-release: use the --no-cache option for the release build"