Plugin InstantSSH: Wrong css filename