android: Handle profile file names with dots in them