Fix #13138: use underscore prefix to ignore directories

Fixes #13138.