Simplified installation now that we have native debian packages