Another Android fix (for the PID file.)

Signed-off-by: FellowTraveler <F3llowTraveler@gmail.com>