Use Ubuntu 14.04 because Ubuntu 13.03 has already reached at their end of life.

ref #14