this is to fix build pipeline and align with the Makefile
an individual handling of this cases is better, but portability is
annoying here