make drm headers use strict integer types