Do not provide libc in debian