Remove -Wmudflap (no longer supported by GCC >= 4.9.0)