Work around bug in glibc 2.11

This fixes https://github.com/idris-lang/Idris-dev/issues/1059.