coconut-mint: don’t change the source