bug#54626: gcc-4.7 and gcc-4.8 compilation failure in x64

[Ekaitz Zarraga]

I've managed to compile gcc-4.7 using a really old commit (v0.16.0) with guix 
time-machine but nowadays is broken.