Upgrading workbench version from 0.1.3 to 0.1.5 fixes lihaoyi/workbench#10