Include correct SDL header in txfilter.cpp