Still a problem: bash: cannot set terminal process group (-1): Inappropriate ioctl for device
no summary available