fixed libprocps3-dev for ubuntu 14.10