Change travis-pro to travis-ci - troubleshooting