FIX #2. Use cvlc instead of vlc. Also, get stream-server port from args