[buckygen-1.1]   [spkg-install] gcc -g -O2 -O3 buckygen.c -o buckygen
    [buckygen-1.1]   [spkg-install] buckygen.c:125:10: fatal error: sys/times.h: No such file or directory
    [buckygen-1.1]   [spkg-install]   125 | #include <sys/times.h>
    [buckygen-1.1]   [spkg-install]       |          ^~~~~~~~~~~~~
    [buckygen-1.1]   [spkg-install] compilation terminated.
    [buckygen-1.1]   [spkg-install] make[3]: *** [makefile:11: buckygen] Error 1
    [buckygen-1.1]   [spkg-install] Error building buckygen.