yet another attempt to fix compilation