patch for ubuntu >=13.04