Distribution script: update to version 0.5.4