Bugfix: properly test files in EXTRA_SOURCES