add missing cast.hpp file (again)