try again to fix for ubuntu gcc

src/console.c

  * See <http://www.gnu.org/licenses/>.
  */
 
-#include <inttypes.h>
 #include <string.h>
 #include <unistd.h>
 #include <stdio.h>

src/led.c

  */
 
 #include <stdio.h>
-#include <inttypes.h>
 #include "pico/stdlib.h"
 
 #include "sequence.h"

src/pulse.c

  */
 
 #include <stdio.h>
-#include <inttypes.h>
 #include "pico/stdlib.h"
 
 #include "led.h"

src/sequence.c

  */
 
 #include <stdio.h>
-#include <inttypes.h>
 #include "pico/stdlib.h"
 
 #include "led.h"

src/settings.c

  */
 
 #include <stdio.h>
-#include <inttypes.h>
 
 #include "pico/stdlib.h"
 #include "hardware/watchdog.h"

src/ui.c

  */
 
 #include <stdio.h>
-#include <inttypes.h>
 #include <math.h>
 #include "pico/stdlib.h"