Make post_deploy safe for MySQL 5.1.