server: also build with mysql support