tweaks to work with debian