I seem to remember that there was multiples releases tagged as 0.8.6.3.
Be sure to use lastest from here : https://github.com/execoin/execoin/releases.