Various fixes after move to new repository