AVALANCHE: Fix warnings reported by GCC