True. Well, you can also read the build system's source to find out the names it generates.