Add direx-k setting