use shell instead of apt to install headers; revisit later