Delete compat.hpp