According to the schematics user button should be on `PD5` not `PC5` (so `GPIO_PIN(3, 5)`). Due to the super high values resistors being used for the external pullup it seems if you use a internal pullup it doesn't work.
ebe010125b