Prevent double definition of tinfl functions by defining dependency