Use a dedicated file for bsdflags tests