fix a debian package issue