Recent changes to UpdateIfNewer not working on Mono

is the case-insensitive comparison appropriate for mono?