[galaxy-commits] galaxy-dist commit 0171a44ec826: Add necessary file for commit 4602:2b8161827380