correct php5-mysql package name