travis : add missing file from previous commit