fix so that it works on Debian/ubuntu too