Depend on a bugfix in ifscs