Function: batch-byte-compile-file

(fn FILE)