Slight updates to the setup-ubuntu script