resolved some confusion about filenames; apparently, OSX just ignores capitalization. Oh fun.