remove php5-mysql