fix header inclusion (unnoticed under VS2013)