get source-highlight working on Linux