Revert ubuntu 12 packaging choice