error on undefined symbols in js configure-ing
add python le32 bitcode file + instructions