Fix TSK build