Fixup #559

Job	Run time
build (gcc, vanilla)	8m 0s
build (gcc, dpdk)	8m 32s
build (gcc, dpdk-light)	10m 38s
build (gcc, netmap)	7m 46s
build (gcc, vanilla-nopool)	8m 26s
build (gcc, dpdk-flow-dynamic)	8m 55s
build (clang, vanilla)	14m 11s
build (clang, dpdk)	12m 23s
build (clang, dpdk-light)	14m 33s
build (clang, netmap)	10m 47s
build (clang, vanilla-nopool)	11m 26s
build (clang, dpdk-flow-dynamic)	12m 27s
	2h 8m 4s

Provide feedback