[DigitalOcean] Ubuntu 12.04.3 replaced by 12.04.4

Digital Ocean no longer sports a 12.04.3 version of Ubuntu.