Fixing (Linux specific?) bug in Video.h