for debian packaging