libjetty-extra only for debian