basis_reduction_tab.c: add missing include