reinstall linux-libc-dev