MADS: Fix a bunch of GCC warnings