bump digital ocean ubuntu default to 12.04.4