Debian packaging of filebench