The GNU file utilities
