more improvements to the mysql dev-vm recipe