Hopefully fixed nonexistent directory issue on jenkins.