Be more consistent with debug printf()s for the launcher functions