[PATCH] Remove mudflap build option.