Use the same finlib name for dose3 as upstream