Updated to CBMC r4456
Try downgrading automake requirements to 1.11