Issue #244: install using wstool