Update galaxys4.mk