made it build on Arch Linux