version 3.0.0: resizing of video window under linux often causes hang or crash (seems to be a SDL bug).