At least update ubuntu nightly instructions...