add -t option to docker run command to workaround bug; don't install devel packages everytime;