crux

2017-03-31 Fixing crux-open-with on Ubuntu