closes (hopefully) HEADS-project/heads_ide#33