small improvement in gstimeoutputbuilder.sh