Required for https://graphics.rwth-aachen.de:9000/Glow/glow-extras/merge_requests/5
mentioned in commit dc293f65
merged