fix computed dynlib names; fixes #718