Modifying jenkins to base off debian instead of ubuntu