missing include in muls.hpp