android build fix (missing source file)