Header files no longer needed, since they are included in libipv6.h