Fix for debian packaging