fix for issue #14

Correct install script since docker broke support of direct github pulling