Bit of optimzation #5393

The built docker image now takes less space.