Avoid old opam bug.