Fix package management when PPA is not used
Use distribution provided packages on anything else than Ubuntu 12.04