AVALANCHE: Fix GCC warnings reported by GCC