Try to correct an error in the Makefile deployment process (issue #19).