diff --git a/src/common/ConfigManager.h b/src/common/ConfigManager.h
index 826a6237..e6a10082 100644
--- a/src/common/ConfigManager.h
+++ b/src/common/ConfigManager.h
@@ -134,9 +134,9 @@ extern int winFlashSize;
 extern int winGbBorderOn;
 extern int winGbPrinterEnabled;
 extern int winPauseNextFrame;
-extern u32 autoFrameSkipLastTime;
-extern u32 movieLastJoypad;
-extern u32 movieNextJoypad;
+extern uint32_t autoFrameSkipLastTime;
+extern uint32_t movieLastJoypad;
+extern uint32_t movieNextJoypad;
 extern int throttle;
 
 extern int preparedCheats;
@@ -163,10 +163,10 @@ extern const char *batteryDir;
 void SetHome(char *_arg0);
 void SaveConfigFile();
 void CloseConfig();
-u32 ReadPrefHex(const char *pref_key, int default_value);
-u32 ReadPrefHex(const char *pref_key);
-u32 ReadPref(const char *pref_key, int default_value);
-u32 ReadPref(const char *pref_key);
+uint32_t ReadPrefHex(const char *pref_key, int default_value);
+uint32_t ReadPrefHex(const char *pref_key);
+uint32_t ReadPref(const char *pref_key, int default_value);
+uint32_t ReadPref(const char *pref_key);
 const char *ReadPrefString(const char *pref_key, const char *default_value);
 const char *ReadPrefString(const char *pref_key);
 void LoadConfigFile(int argc, char **argv);