est31 817fea6330 Fix android build ...

Thanks to @Wayward1 for reporting the bug.

Fixes #4212.

2016-06-11 05:44:55 +02:00

..

android

Fix android build

2016-06-11 05:44:55 +02:00