Add Ext4 and AdaFS simulators.