fix video colors on linux
use memory mapped video input on linux