fix build for --disable-aldor