[docker-io: 10/14] build times defines corrected