Virtualbox serial port pipe linux