Use the PPAs for 4.02 as well