Submarine themes: fix typo in make files