updates to SDL to fix DFA bv type inference