diff --git a/os/include/nitpicker_gfx/font.h b/os/include/nitpicker_gfx/font.h
index b8bb384a7..0f711fe95 100644
--- a/os/include/nitpicker_gfx/font.h
+++ b/os/include/nitpicker_gfx/font.h
@@ -14,13 +14,13 @@
 #ifndef _INCLUDE__NITPICKER_GFX__FONT_H_
 #define _INCLUDE__NITPICKER_GFX__FONT_H_
 
-#include "nitpicker_types.h"
+#include <base/stdint.h>
 
 class Font
 {
 	private:
 
-		typedef nitpicker_int32_t int32_t;
+		typedef Genode::int32_t int32_t;
 
 	public:
 
diff --git a/os/include/nitpicker_gfx/nitpicker_types.h b/os/include/nitpicker_gfx/nitpicker_types.h
deleted file mode 100644
index b8a17c5ab..000000000
--- a/os/include/nitpicker_gfx/nitpicker_types.h
+++ /dev/null
@@ -1,21 +0,0 @@
-/*
- * \brief  Platform-dependent definition of fixed-size integer types
- * \author Norman Feske
- * \date   2009-04-15
- */
-
-/*
- * Copyright (C) 2009-2013 Genode Labs GmbH
- *
- * This file is part of the Genode OS framework, which is distributed
- * under the terms of the GNU General Public License version 2.
- */
-
-#ifndef _INCLUDE__NITPICKER_GFX__NITPICKER_TYPES_H_
-#define _INCLUDE__NITPICKER_GFX__NITPICKER_TYPES_H_
-
-#include <base/fixed_stdint.h>
-
-typedef Genode::int32_t nitpicker_int32_t;
-
-#endif /* _INCLUDE__NITPICKER_GFX__NITPICKER_TYPES_H_ */