Some python implementations report "linux3" on newer kernels. Of course,
we'll have to set IS_LINUX for those, too.