MiniGhost: more fixes
Added explicit converting constructor to make a future<void> from any future