Add ibx-0.7.2