Workaround for TravisCI bug