Don't use File with scanners, as a File instance can't be closed and the
resources released properly. #7