Correct bitv build failures and a bug in all()