Looks like I was using file-4.12 in /usr/bin/file instead of file-4.23 in my home directory. Whoops! Time to talk to the sysadmin! Thanks.