deleted workaround 'pstdint'