Include sg headers in os/os-linux.h