Added ubuntu12 to the list of supported distros