Amended .frogrc