fix debian shortcut
release 1.7