Fix to build on ArchLinux