Move definition file and fix extension