Revert "Two changes to build against F*/stable"
Revert "Two changes to build against F*/stable"

This reverts commit 83a8b7512b0c7fb9cba6ab1155d0b7bce1ace425.

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin