Android: Fix file names