Using the WTK under Debian Linux?