Change the default binary on Ubuntu Precise