Fix multiple inclusion of profiling filter #1433