set engine for ksplash, so theme setting works!