Return FILENAME sans final "extension". The extension, in a file name, is the part that follows the last `.', except that a leading `.', if any, doesn't count.