look for hashed version of default.css in script/server

fixes #5254