Debian packaging for globalplatform