Try to fix Travis build by re-adding --solver=modular