Changed imports according to renaming of libTimmeey