Workarounds for gccgo