Cosmetic fix in Port-linux/lowlevel-linux.c