wake up travis so we can debug the missing FILE* definition