Add string-replace hack to fix dist aloha path