Replace DEBUG with std debug setting