The Debian packaging for flex