7.5.8 now supports php 5.4 and 5.5, so this is fixed, when it is released.