add BoltzTrap loading