++ echo --version=0.176 ++ sed 's/^--version=\([0-9]\?\.\)\?\([0-9]\{3\}\)/\2/p' + VERSION='176 176' + '[' '!' '176 176' ']' + DMD_FILENAME='dmd.176 176.zip'