make debug output optional with DEBUG