MySQL type option deprecated