title: <stropts.h> on Ubuntu 19.10
body: <p>I'm trying to work <a href="https://web.stanford.edu/class/cs140/projects/pintos/pintos_1.html" rel="nofollow noreferrer">PintOS</a> on my Ubuntu 19.10 machine, but I'm getting trouble with this library, did some research and apparently <a href="https://forums.fedoraforum.org/showthread.php?194667-error-stropts-h-No-such-file-or-directory" rel="nofollow noreferrer">stropts.h part of a POSIX XSR</a> option, which Linux now, says it is not supported.</p>
  
  <p>My question is, I can somehow make this work on my Ubuntu 19.10? trying to figure this out before downgrading to 16.04 that works perfectly fine with PintOS.</p>