weird error in travis saying devel is already in use