DragonFly support

These patches are all that is necessary for idris to work on DragonFly BSD.