Maint/master/pe 503 remove deb6

Forgot a few things in the last pull request