Travis: added numexprt and tk headers