Fix Travis config file name #17