Fix ext4.h stranded code