Turns out GCC 3.x support -isystem also, they just don't document it.
[pintos-anon] / doc / mlfqs2-3.pts
1 290 500
2 359 534
3 398 554
4 416 573
5 443 594
6 453 601
7 460 613