New Linux tools or Mac OS X for video editing?