Commenting out pinned apt repo configuration; doesn't work due to Issue #426