Replace `lvn/' by `leuven-'