Update compat.hpp