Updated Travis config for new filenames