add in std and tromp binary