Correct install script since docker broke support of direct github pulling