workaroung for HEADS-project/heads_ide#40