Instead, point to the CI configuration files, and include the extra steps for Ubuntu 12.04 as a script. More useful, and less likely to become outdated.
