Redundant queue.h -> just use one in sys/queue from linux