Yes, you are totally right! It was a memory lapse of mine, forgetting about GNU/Linux. Thank you for remembering me!