Debian packaging of minetest 0.4.x and higher