trinity r20131110

The patch to fix building on a case insensitive file system is no
longer necessary.