Fixes #9408 ("Android does not support XSI_SHARED_MEMORY_OBJECTS")

[SVN r86765]