fix irrelevant type in mako make file