Override Ubuntu 13.10 to use the 13.04 deb for now (until puppet puts out a 13.10 specific deb)