Specify Ubuntu 12.04. Small changes.