allow mediacodec system_file:dir { open read };