Add libfixposix formula.