Face palm. Fix Travis with right file names.