fixes: case sensitive file name, out-of-range timestamp