Make arteVIDEOS work with recent versions of rtmpdump, fix issue #9