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