tweak some options to exclude some ports broken right now: libkate, kget