added 'make hot_deploy' for hot-deployment. (I'm not sure this works, though)