Working on Travis builds

- made consistent with options.cpp code
- added trace print for ongoing issue with Travis CI builds