feature/stretch sometimes fails to build on Jenkins (OOM?)

Originally created by @intrigeri on #11710 (Redmine)