While here, fix the `docker build` command: the images are named `build_${IMG}` while the ci files are just `ci/${IMG}`, no `build_` prefix.