Add manually-located symbols for 0.40.13