we want some Makefiles to not be ignored