fix problems with unshadowing bootci