Rename Ubuntu 12.04 baseline include.