There are some leftovers, but this is an easy regex-based approach that removes most of them.
qbfsat -O2
abc