added avr-libc in the debian package requirements