Fix missing import of settings
Merge pull request #2056 from Stanford-Online/jrbl-jenkins-bugs

Fix missing import of settings