file extension on the license