Issues for the Linux port of Portal 2