sga 0.10.13: Do not install Makefile Makefile.in