Fixed: broken travis-ci config #4