fix opam bug