dlopen can take a NULL filename