Add Ubuntu 12.04.4 and Ubuntu 12.04.5. Rename FreeBSD 9.3-RELEASE