Use our own safer variant of file-name-sans-extension