Initial changes for a unique file extension for profiles. Related to issue #125.