Add platform ubuntu 12.04
Update platforms formatting