Minor fix to get XQuartz working