Install a few more core headers (spk_base.h, get_sockets.h, get_pthreads.h). (dm)