Fixing: Newest version of auto_test with a downloaded BitVector