fix path for debian packaging