Use 64-bit Ubuntu Precise basebox; tidy instructions