Fix build on Arch linux for issue #6