lib/basis-stubs deleted