adjust to latest openpetra master