Add forgotten debian files