WHISTLE-1510: update specs and export erl_libs