per installare i sorgenti debian è una delle migliori
basta installargli le librerie che servono