-include_HEADERS = $(notdir $(wildcard $(SOURCES_DIR)/*.h))
+include_HEADERS = fosa_app_def_sched.h fosa_clocks_and_timers.h \
+ fosa_configuration_parameters.h fosa_cpp_macros.h \
+ fosa_group_clocks.h fosa.h fosa_long_jump.h \
+ fosa_mutexes_and_condvars.h fosa_platform_values.h \
+ fosa_threads_and_signals.h fosa_time.h \
+ fosa_time_numeric.h fosa_time_timespec.h \
+ fosa_types.h
+
+renamed_include_HEADERS = fosa_opaque_types_$(PLATFORM_FN).h->fosa_opaque_types.h
+