Fix for Travis-CI build (configuration referenced intermediate build file rather than final distribution file).