hide the .profile extension and use a nicer icon for profiles #518