oops! fix for some build errors in Debug configuration