changed (provide ...) definition to facilitate
symlinking of the generated *.el