Move bin/linux to be bin/debian, in keeping with the platform name.