add some reference solutions to make the GCC build with optimizations on aladdin shut up

for some reason, tobo seems to be unaffected...