scripts/size: more portable solution for getting the filesize. instead of using 'stat' and instead of parsing the output of 'ls -nl' (which was the old way), we read once the entire file: this is slow on large files, but we exspect to have ~200k here, so it does'nt matter. something to read about: http://stackoverflow.com/questions/1815329/portable-way-to-get-file-size-in-bytes-in-shell