Você deve preferir o 12.04 porque oferece suporte de longo prazo e é mais estável que o 13.04, o que é experimental quando se trata de coisas mais sofisticadas. Além disso, você pode se deparar com uma ferramenta que não é totalmente compatível com o 13.04, enquanto com o 12.0.4.3 LTS é improvável que aconteça.
Atenciosamente.