minor bugfix for archlinux