Made bitvector.c compile on Linux with GCC. (#660)