Compilation fixes

Some compilation fixes for "make testvector".