"fix" for samsung platform. Fixes #15