Use ubuntu 12.04 package on debian