Fix checkout of redmine