Fix make install running several times