Fix build on archlinux

I made a little change to fix build on Archlinux (see issue #14)