Voldoet een Linux-distributie aan de GPL wanneer alleen naar de broncode wordt gelinkt?