travis: this file should be modified too