find.py: perform case-insensitive filename matches if OS is case-insensitive