Add in Ubuntu 12.04.3 detection