fix for make.hpp (joel)