Concerning #665, finally a successful compilation