Fix incorrect path for debian packaging #518