Fixes to atheme build script