Error: conflicting types for '__dev_t'

[willow385]

I attempted to run make in the libPS4 directory on Ubuntu 19.04, and got the following output:

gcc -c -o build/syscall.o source/syscall.c -Iinclude -O2 -std=c11 -fno-builtin  -nostartfiles -nostdlib -Wall -masm=intel -march=btver2 -mtune=btver2 -m64-mabi=sysv -mcmodel=large
gcc -c -o build/semaphore.o source/semaphore.c -Iinclude -O2 -std=c11 -fno-builtin -nostartfiles -nostdlib -Wall -masm=intel -march=btver2 -mtune=btver2 -m64 -mabi=sysv -mcmodel=large
gcc -c -o build/jit.o source/jit.c -Iinclude -O2 -std=c11 -fno-builtin -nostartfiles -nostdlib -Wall -masm=intel -march=btver2 -mtune=btver2 -m64 -mabi=sysv -mcmodel=large
In file included from include/kernel.h:3,
                 from source/jit.c:1:
include/types.h:71:18: error: conflicting types for ‘__dev_t’
 typedef uint32_t __dev_t;
                  ^~~~~~~
In file included from /usr/include/stdint.h:27,
                 from /usr/lib/gcc/x86_64-linux-gnu/8/include/stdint.h:9,
                 from include/types.h:3,
                 from include/kernel.h:3,
                 from source/jit.c:1:
/usr/include/x86_64-linux-gnu/bits/types.h:145:25: note: previous declaration of ‘__dev_t’ was here
 __STD_TYPE __DEV_T_TYPE __dev_t; /* Type of device numbers.  */
                         ^~~~~~~
make: *** [Makefile:21: build/jit.o] Error 1