change MySQL script file extension