see https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper-Free/merge_requests/291
mentioned in commit e438a3b0
merged