Fix Chrome OS not being recognized as Linux (fixes #1)