Update linux -> __linux__