Do we need to install 7.5.4 and then 7.5.4.1 or just install 7.5.4.1 and skip 7.5.4 (if we are not already at 7.5.4)?