Fix for Ubuntu PPA.