ci-build.sh: Show file size in list of files to be able to compare generated file...