Thanks. Flashing with the stock firmware, then installing Backupmenu to restore the same rootfs and optfs as before (but subsequently, not simultaneously like I did before) solved my problem. I don't really know why it did not work the first time.