bug#78950: mono-2.4.2.3 (and thus all other mono packages) is broken on x86_64

[Danny Milosavljevic]

Fixed mono 2.4.2.3 build in guix master, commit 
b33b8f6a3d622dd5e99ea44ca0d18585c5c06393.