I'm trying to work PintOS on my Ubuntu 19.10 machine, but I'm getting trouble with this library, did some research and apparently stropts.h part of a POSIX XSR option, which Linux now, says it is not supported.
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.