add NUKL to banner
use banner at build time
use NUKL modules instead of Verite