Better name for the main file of a definition please.