Remove broken include (fixes #633)