[DEBUG] correct compilation