non-free: tek: Fix build.