Remove ssreflect "support" which isn't working anyhow.