[[ Bugfix 13385 ]] Fix a null-pointer crash on Linux server