Would it be possible to pick [this commit](https://github.com/simoncblyth/opticks/commit/10ae42360e0fc8291db529d0757cec55ac60281a) for Simon's tree to fix a name clash occurring on my system? Thanks.
Would it be possible to pick this commit for Simon's tree to fix a name clash occurring on my system? Thanks.