Add raspberrypi.org repo to apt sources, save time *after* post install