Minor change to debian package script