fix packagename for Debian systems. fix #13