Older version of Eleutherodactylus walkeri