Substitute Ubuntu 13.04 by 14.04 (LTS)