@Diapolo What did you mean by ```$compiler-binary$```?  Gitian doesn't seem to have anything like that.  Bash parsed it as $compiler (which is blank) and -binary$ is separate.  Unless you indicate exactly what you meant, I'm keeping it as "4.6" which seems to be merely cosmetic anyway.