Changed system terminology (GNU/Linux).